def p(t) = (t, (-2) * t)